Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
71	From the introduction to The Combinatory Programme by E. Engeler Add to Reading List Source URL: www.math.ethz.ch Language: English - Date: 2000-07-25 10:14:32 Lambda calculus Functions and mappings Combinatory logic Abstract algebra Algebraic structures Function Universal algebra Representation theory Outline of algebraic structures Mathematics Mathematical logic Theoretical computer science
72	A Boolean Paradigm in Multi-Valued Logic Synthesis Alan Mishchenko Department of ECE Portland State University [removed] Abstract Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-17 15:32:32 Algebraic logic Electronic engineering Electronic design automation Diagrams Electronic design Binary decision diagram Logic synthesis Boolean satisfiability problem Boolean function Boolean algebra Mathematics Mathematical logic
73	How Berger, Felzenbaum and Fraenkel Revolutionized COVERING SYSTEMS The Same Way that George Boole Revolutionized LOGIC Doron ZEILBERGER 1 Add to Reading List Source URL: www.emis.de Language: English - Date: 2001-07-30 16:14:09 Modular arithmetic Algebraic logic Commutative algebra Covering system Boolean algebra Tautology Partition Chinese remainder theorem Mathematics Abstract algebra Number theory
74	U.U.D.M. Report 2008:31 Two-dimensional models of type theory Richard Garner Department of Mathematics Add to Reading List Source URL: www2.math.uu.se Language: English - Date: 2008-08-22 07:18:33 Models of computation Algebraic topology Logic in computer science Function Lambda calculus Interpretation Sheaf Type theory Isomorphism Mathematics Mathematical logic Abstract algebra
75	Lecture Notes: Introduction to Categorical Logic [DRAFT: January 15, 2003] Steven Awodey Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:16 Algebraic structures Mathematical structures Mathematical logic Algebraic theory Structure Sheaf Group theory Cartesian closed category Model theory Mathematics Algebra Abstract algebra
76	Gates Accept Concurrent Behavior Vineet Gupta Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA 94305 {vgupta,pratt}@cs.stanford.edu Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-02-21 10:39:43 Algebraic logic Boolean algebra Algebraic structures Forcing Chu space Boolean algebras canonically defined Boolean-valued model Mathematical logic Mathematics Abstract algebra
77	Concurrent Kripke Structures Vineet Gupta∗ Dept. of Computer Science Stanford University, CA[removed]removed] January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:23 Algebraic structures Order theory Boolean algebra Non-classical logic Model theory Semiring Distributivity Modal logic Structure Mathematics Abstract algebra Mathematical logic
78	Event Spaces and Their Linear Logic Vaughan Pratt Computer Sci. Dept., Stanford, CA 94305, USA [removed] April 25, 1991 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-08 11:05:21 Order theory Algebraic structures Mathematical structures Lattice theory Lattice Ideal Partially ordered set Boolean algebra Vector space Mathematics Algebra Abstract algebra
79	Notes on Event structures and Chu Gordon Plotkin January 9, 2005 1 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:07 Model theory Mathematical structures Universal algebra Algebraic structures Abstract algebra Structure Alfred Tarski FO Order Mathematics Mathematical logic Logic
80	Reprint from the magazine Design, London: Council of Industrial Design, N° 206, [removed]A city is not a tree By Christopher Alexander The article that follows has won for itself, and its author - an architect and Add to Reading List Source URL: www.chrisgagern.de Language: English - Date: 2014-11-18 15:48:33 Algebraic structures Lattice theory Order theory Lattice Total order Mereology Antimatroid Distributive lattice Mathematics Abstract algebra Mathematical logic

UPDATE